Algorithmic canonical stratifications of simplicial complexes
نویسندگان
چکیده
We introduce a new algorithm for the structural analysis of finite abstract simplicial complexes based on local homology. Through an iterative and top-down procedure, our computes stratification ? poset P simplices complex K, such that each strata P?=i?P, P?=i is maximal among all open subposets U?P?=i? in its closure restriction Z-homology sheaf P?=i? to U locally constant. Passage localization dictated by then attaches canonical stratified homotopy type K. Using ?-categorical methods, we first prove proposed correctly complex; along way, few general results about sheaves posets types links may be independent interest. present pseudocode implementation algorithm, with special focus given case dimension ?3, show it runs polynomial time. In particular, n-dimensional size s n?3 can processed O(s2) time or O(s) one further assumption structure. Processing Delaunay triangulations 2-spheres 3-balls provide experimental confirmation this linear running
منابع مشابه
New methods for constructing shellable simplicial complexes
A clutter $mathcal{C}$ with vertex set $[n]$ is an antichain of subsets of $[n]$, called circuits, covering all vertices. The clutter is $d$-uniform if all of its circuits have the same cardinality $d$. If $mathbb{K}$ is a field, then there is a one-to-one correspondence between clutters on $V$ and square-free monomial ideals in $mathbb{K}[x_1,ldots,x_n]$ as follows: To each clutter $mathcal{C}...
متن کاملMinors of simplicial complexes
We extend the notion of a minor from matroids to simplicial complexes. We show that the class of matroids, as well as the class of independence complexes, is characterized by a single forbidden minor. Inspired by a recent result of Aharoni and Berger, we investigate possible ways to extend the matroid intersection theorem to simplicial complexes.
متن کاملSaturated simplicial complexes
Among shellable complexes a certain class has maximal modular homology, and these are the so-called saturated complexes. We extend the notion of saturation to arbitrary pure complexes and give a survey of their properties. It is shown that saturated complexes can be characterized via the p -rank of incidence matrices and via the structure of links. We show that rank-selected subcomplexes of sat...
متن کاملCompletions and Simplicial Complexes
We first introduce the notion of a completion. Completions are inductive properties which may be expressed in a declarative way and which may be combined. We show that completions may be used for describing structures or transformations which appear in combinatorial topology. We present two completions, 〈CUP〉 and 〈CAP〉, in order to define, in an axiomatic way, a remarkable collection of acyclic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2022
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2022.107051